1. Antirealism Debate in the Age of Alternative Logics-The Realism
پدیدآورنده: / Shahid Rahman, Giuseppe Primiero, Mathieu Marion
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. Computing with foresight and industry :
پدیدآورنده: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
3. Information and Knowledge: a constructive type-theoretical approach
پدیدآورنده: / By Giuseppe Primiero,پریمیرو,Primiero
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: شناخت (فلسفه),منطق
رده :
۴
پ
BD
۱۶۱
/
۱۳۸۷ ۹
الف
4. Information and nowledge: a constructive type-theorical approach
پدیدآورنده: Primiero, Giuseppe
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Knowledge, Theory of,، Type theory of
رده :
BD
161
.
P766
2008
